 2244     2   1.18987e+07   948   1.37703e+07   1.18987e+07  1677734   13.59%

Flow cuts applied:  357
Mixed integer rounding cuts applied:  78
Zero-half cuts applied:  1
Lift and project cuts applied:  2
Gomory fractional cuts applied:  7

Root node processing (before b&c):
  Real time             =   28.27 sec. (31766.69 ticks)
Parallel b&c, 8 threads:
  Real time             = 3571.91 sec. (1825794.69 ticks)
  Sync time (average)   =   65.31 sec.
  Wait time (average)   =    0.13 sec.
                          ------------
Total (root+branch&cut) = 3600.17 sec. (1857561.38 ticks)
Parallel mode: deterministic, using up to 8 threads for concurrent optimization:
 * Starting dual Simplex on 1 thread...
 * Starting Barrier on 6 threads...
 * Starting primal Simplex on 1 thread...
LP Presolve eliminated 10790 rows and 73931 columns.
All rows and columns eliminated.

Dual simplex solved model.

CPLEX 20.1.0.0: time limit with integer solution; objective 13770318.58
1679191 MIP simplex iterations
2245 branch-and-bound nodes
absmipgap = 1.87162e+06, relmipgap = 0.135917
COSTOS = 13770300

NVS [*] :=
1  0.920937
2  0.982327
3  0.991137
4  0.966176
;

O [1,*,*] (tr)
:    1    2    3   4    5    6    7     :=
1     3    0   3    4    2    3    2
2     4    4   3    6    5    4    4
3     3    5   6    6    4    9    3
4     4    6   6    6    6    9    6
5     8    6   6    6    6    8    7
6     6    7   8    6    6    8   12
7     6    6   7   10    6    9    7
8     6   11   6    7    7    8    8
9     6    6   6   10   10    8   12
10    7    7   7    6    8   10    8
11    7    8   6   10    8   10    6
12   10    8   6   14    7   10    9
13    8    9   6    8    7   12    6
14    9    8   7    8    8    8    2
15    4    5   4    5    4    5    1

 [2,*,*] (tr)
:    1   2    3   4    5    6    7     :=
1    2    4   4    2    2    4    2
2    4    4   4    4    5    5    4
3    4    6   4    6    6    7    4
4    6    6   6    6    6    6    6
5    6    6   6    7    7    8    9
6    6    6   8    6   10   11    7
7    6    6   6    7    8    8   10
8    5    8   9    9   10    9    8
9    6    6   7    6    6    7   11
10   7    7   8   15    7   11   10
11   9    8   6   10    8    9   13
12   8    8   6    8   12   11   12
13   8   10   8    9    8    9    8
14   8    8   8    8    7    8    8
15   4    3   4    4    4    4    2

 [3,*,*] (tr)
:    1   2    3    4    5    6    7     :=
1    3    4    4    5    5    9    2
2    4    6    4    5    7    9    4
3    4    6    7    6    9    6    4
4    6    8    7    9    9    8    6
5    6    6    7    7    8    8    8
6    7    8    5    9    8    8   11
7    6    9    6    8    6   11   10
8    6    8    7   10    6    9    8
9    6    9    6   13    6    8   11
10   5    6    9    8    6   10   14
11   6   10    6    8   11   10   11
12   8    8    6    8    8   11   12
13   8    7   11   12   13    8    8
14   7    8    8    8    8    8    8
15   4    5    4    4    5    4    3

 [4,*,*] (tr)
:    1   2    3    4   5    6    7     :=
1    2    4    5   4    5    4    4
2    4    5    6   6    4    5    5
3    5    8    5   6    5    6    6
4    6    7    7   8    6    8    6
5    6   10    8   6    6    7   10
6    6    7    7   7    8    9    6
7    6    6   10   6    5    9   10
8    6    7    9   9    5   12    8
9    6    7    9   7    6   10   10
10   6   10    8   7    9   10   14
11   6   11    6   7    8   11   12
12   8   15   10   9   10   10   10
13   8    9    3   8    8    8    8
14   7    8    5   9    8    8    6
15   4    4    4   4    4    4    2
;

X [*,*] (tr)
:    1   2   3   4   5   6    :=
1    1   3   2   1   1   0
2    0   1   4   2   1   0
3    4   4   1   0   2   0
4    4   3   1   1   1   0
6    2   2   2   0   2   0
7    1   0   3   1   3   0
8    1   2   1   0   1   0
10   0   0   1   1   1   0
11   2   3   3   0   2   0
12   0   0   0   4   3   0
14   1   0   2   0   1   0
15   4   0   2   0   1   2
16   1   1   1   2   2   0
;

Poli = 65

:       PE  PF    :=
1 1 1    2   1
1 1 3    0   1
1 1 4    0   2
1 1 5    2   0
1 1 10   1   0
1 1 11   1   0
1 1 12   3   0
1 1 14   1   0
1 2 1    0   4
1 2 3    1   2
1 2 6    1   0
1 2 8    6   0
1 2 10   1   0
1 2 11   1   0
1 2 13   1   0
1 2 15   1   0
1 3 1    0   1
1 3 2    0   1
1 3 3    2   0
1 3 5    0   1
1 3 6    1   0
1 3 7    1   0
1 3 10   0   1
1 3 13   0   2
1 3 14   0   1
1 4 2    2   0
1 4 5    1   0
1 4 7    4   0
1 4 8    1   0
1 4 9    4   0
1 4 11   2   0
1 4 12   5   0
1 4 15   1   0
1 5 2    1   0
1 5 3    0   2
1 5 8    1   0
1 5 9    4   0
1 5 10   1   0
1 5 11   1   0
1 5 13   0   1
1 6 1    0   1
1 6 3    3   0
1 6 4    3   0
1 6 13   4   0
1 6 15   1   0
1 7 3    0   1
1 7 5    0   2
1 7 6    0   1
1 7 7    0   3
1 7 10   0   7
1 7 11   0   6
1 7 12   0   4
1 7 13   0   2
1 7 14   0   6
1 7 15   0   1
2 1 10   1   0
2 1 11   3   0
2 2 8    2   0
2 2 10   1   0
2 2 13   2   0
2 2 15   0   1
2 3 6    2   0
2 3 8    3   0
2 3 9    1   0
2 4 1    0   2
2 4 5    1   0
2 4 7    1   0
2 4 8    3   0
2 4 10   9   0
2 4 11   2   0
2 4 13   1   0
2 5 2    1   0
2 5 5    1   0
2 5 6    4   0
2 5 7    2   0
2 5 8    4   0
2 5 10   1   0
2 5 12   4   0
2 5 13   0   1
2 6 2    1   0
2 6 3    1   0
2 6 6    3   0
2 6 10   1   0
2 6 13   1   0
2 7 5    0   1
2 7 6    0   4
2 7 10   0   3
3 1 1    1   0
3 1 6    1   0
3 1 10   0   1
3 1 14   0   1
3 2 2    2   0
3 2 4    2   0
3 2 6    2   0
3 2 7    3   0
3 2 8    2   0
3 2 9    3   0
3 2 11   2   0
3 2 15   1   0
3 3 3    3   0
3 3 4    1   0
3 3 5    1   0
3 3 6    0   1
3 3 8    1   0
3 3 10   2   0
3 3 13   3   0
3 4 1    1   0
3 4 2    1   0
3 4 4    3   0
3 4 5    1   0
3 4 6    3   0
3 4 7    2   0
3 4 8    4   0
3 4 9    7   0
3 4 10   2   0
3 4 13   4   0
3 5 1    3   0
3 5 2    3   0
3 5 3    3   0
3 5 4    3   0
3 5 5    2   0
3 5 6    2   0
3 5 11   3   0
3 5 13   6   0
3 5 15   1   0
3 6 1    5   0
3 6 2    5   0
3 6 4    2   0
3 6 7    3   0
3 6 9    1   0
3 6 13   1   0
3 7 5    0   2
3 7 8    0   1
3 7 15   1   0
4 1 3    1   0
4 1 14   0   1
4 2 2    1   0
4 2 3    2   0
4 2 4    1   0
4 2 5    4   0
4 2 6    1   0
4 2 8    1   0
4 2 9    1   0
4 2 10   4   0
4 2 11   3   0
4 2 12   6   0
4 2 13   1   0
4 3 1    1   0
4 3 2    2   0
4 3 3    1   0
4 3 4    2   0
4 3 5    2   0
4 3 6    1   0
4 3 7    4   0
4 3 8    3   0
4 3 9    3   0
4 3 12   4   0
4 3 13   0   5
4 3 14   0   3
4 4 2    2   0
4 4 4    2   0
4 4 6    1   0
4 4 8    3   0
4 4 9    1   0
4 4 10   1   0
4 4 14   1   0
4 5 1    3   0
4 5 3    0   1
4 5 6    2   0
4 5 8    0   1
4 5 10   3   0
4 5 12   2   0
4 5 13   0   1
4 6 2    1   0
4 6 4    2   0
4 6 6    2   0
4 6 8    4   0
4 6 9    2   0
4 6 11   1   0
4 7 1    2   0
4 7 2    1   0
4 7 3    2   0
4 7 6    0   5
4 7 9    0   2
4 7 12   0   2
4 7 14   0   2
;

PO [*,1,1,*] (tr)
:    1   2   3   4    :=
1    1   0   1   1
2    1   1   0   2
3    1   0   0   2
4    1   0   0   3
5    1   1   0   6
6    1   0   0   5
7    0   1   1   4
8    0   2   0   4
9    0   1   2   3
10   0   2   2   3
11   0   1   5   1
12   1   2   5   2
13   1   1   6   0
14   1   1   6   1
15   1   1   1   1

 [*,1,2,*] (tr)
:    1   2   3   4    :=
2    2   0   1   1
3    2   0   3   0
4    3   1   1   1
5    3   1   1   1
6    3   2   0   2
7    3   2   0   1
8    1   4   5   1
9    1   3   2   0
10   1   3   2   1
11   2   1   5   0
12   4   1   0   3
13   4   0   5   0
14   4   0   1   3
15   3   1   1   0

 [*,1,3,*] (tr)
:    1   2   3   4    :=
1    0   0   3   0
2    0   0   3   0
3    0   1   4   1
4    0   1   3   2
5    0   3   1   2
6    1   3   1   3
7    2   3   2   0
8    3   0   0   3
9    3   0   0   3
10   3   2   1   1
11   3   1   0   2
12   4   1   0   1
13   4   0   1   1
14   4   0   2   1
15   3   0   1   0

 [*,1,4,*] (tr)
:    1   2   3   4    :=
1    3   0   1   0
2    4   0   2   0
3    4   0   1   1
4    5   0   1   0
5    3   3   0   0
6    4   2   0   0
7    3   5   1   1
8    2   5   0   0
9    2   5   0   3
10   2   0   1   3
11   2   0   2   6
12   3   0   4   7
13   3   0   4   1
14   1   0   6   1
15   1   1   3   0

 [*,1,5,*] (tr)
:    1   2   3   4    :=
1    1   0   0   1
2    3   1   1   0
3    3   0   1   0
4    3   1   1   1
5    3   1   0   2
6    1   1   1   3
7    1   0   3   2
8    1   3   2   1
9    1   6   2   1
10   3   3   2   0
11   3   4   1   0
12   5   2   0   0
13   5   0   1   1
14   5   2   1   0
15   4   0   0   0

 [*,1,6,*] (tr)
:    1   2   3   4    :=
1    1   1   1   0
2    1   2   1   0
3    1   2   6   0
4    1   2   6   0
5    2   4   2   0
6    2   2   4   0
7    1   3   2   3
8    2   2   4   0
9    2   1   0   5
10   2   0   0   8
11   2   0   1   7
12   4   0   2   4
13   4   0   1   7
14   3   1   0   4
15   2   1   1   1

 [*,1,7,*] (tr)
:    1   2   3   4    :=
1    0   0   0   2
2    2   0   0   2
3    2   0   0   1
4    2   0   1   3
5    6   1   0   0
6    6   1   1   4
7    6   0   1   0
8    4   2   1   1
9    2   7   2   1
10   2   1   5   0
11   2   0   4   0
12   2   0   7   0
13   1   5   0   0
14   1   0   1   0
15   0   0   1   0

 [*,2,1,*] (tr)
:    2   6   7   8  10  14    :=
1    0   0   1   1   0   0
2    0   1   1   2   0   0
3    1   1   1   1   0   0
4    1   3   1   1   0   0
5    0   3   0   2   1   0
6    1   3   1   0   1   0
7    1   4   0   1   0   0
8    0   2   0   1   2   0
9    1   2   1   0   2   0
10   1   1   2   0   3   0
11   1   3   3   0   2   0
12   0   3   3   0   1   1
13   1   3   1   2   0   1
14   1   3   3   0   0   1
15   1   0   0   1   1   1

 [*,2,2,*] (tr)
:    2   6   7   8  10  14    :=
1    0   3   0   0   1   0
2    0   3   0   1   0   0
3    1   4   1   0   0   0
4    0   4   0   1   1   0
5    0   4   1   1   0   0
6    0   4   1   0   1   0
7    0   1   1   1   2   1
8    0   2   2   2   0   2
9    0   1   3   0   0   2
10   0   1   4   2   0   0
11   2   1   4   0   1   0
12   0   2   4   1   1   0
13   1   2   0   3   1   3
14   1   2   4   1   0   0
15   0   2   0   0   1   0

 [*,2,3,*] (tr)
:    2   6   7   8  10  14    :=
1    0   0   2   1   0   1
2    0   0   3   0   0   1
3    0   0   1   2   0   1
4    0   0   3   2   0   1
5    1   0   3   0   1   1
6    1   0   4   2   1   0
7    0   0   4   0   1   1
8    3   1   2   1   1   1
9    4   1   0   0   2   0
10   2   1   3   0   2   0
11   0   1   2   1   2   0
12   0   1   3   0   1   1
13   1   1   3   1   1   1
14   1   1   3   1   1   1
15   0   1   3   0   0   0

 [*,2,4,*] (tr)
:    2   6   7   8  10  14    :=
1    0   2   0   0   0   0
2    0   2   0   1   1   0
3    1   2   0   0   1   2
4    2   2   0   0   1   1
5    0   2   1   2   1   1
6    1   3   0   0   0   2
7    0   1   1   1   1   3
8    0   3   2   1   0   3
9    0   3   0   1   1   1
10   7   2   4   1   0   1
11   4   2   3   1   0   0
12   4   1   1   1   1   0
13   3   1   3   1   1   0
14   3   1   3   0   1   0
15   2   1   1   0   0   0

 [*,2,5,*] (tr)
:    2   6   7   8  10  14    :=
1    1   1   0   0   0   0
2    0   3   0   0   1   1
3    1   3   0   0   1   1
4    0   3   1   1   1   0
5    0   4   1   1   1   0
6    3   4   1   1   1   0
7    3   3   0   2   0   0
8    0   3   3   2   0   2
9    0   2   3   0   1   0
10   3   1   3   0   0   0
11   2   2   3   0   1   0
12   1   4   2   4   1   0
13   2   4   1   0   1   0
14   0   4   2   0   1   0
15   0   3   1   0   0   0

 [*,2,6,*] (tr)
:    2   6   7   8  10  14    :=
1    0   0   2   0   0   2
2    1   0   3   1   0   0
3    2   0   1   1   1   2
4    3   0   2   0   1   0
5    1   2   2   0   1   2
6    3   2   4   1   1   0
7    1   3   1   0   1   2
8    0   3   5   0   1   0
9    1   3   3   0   0   0
10   3   4   3   0   0   1
11   2   5   0   1   1   0
12   2   6   1   0   2   0
13   2   3   0   1   2   1
14   1   3   2   0   2   0
15   1   2   0   0   1   0

 [*,2,7,*] (tr)
:    2   6   7   8  10  14    :=
1    0   2   0   0   0   0
2    0   4   0   0   0   0
3    0   4   0   0   0   0
4    0   6   0   0   0   0
5    0   8   0   0   0   1
6    0   6   0   0   1   0
7    2   4   2   1   0   1
8    0   2   4   0   0   2
9    0   2   6   3   0   0
10   6   2   2   0   0   0
11   8   2   0   0   0   3
12   8   2   2   0   0   0
13   1   0   4   2   0   1
14   6   0   1   1   0   0
15   0   0   0   1   0   1

 [*,3,1,*] (tr)
:    3   7  10  11  12  15    :=
1    0   0   0   2   1   0
2    1   0   0   3   0   0
3    1   0   0   3   0   0
4    1   0   0   4   0   1
5    1   1   0   4   0   0
6    1   0   0   4   1   1
7    0   0   1   3   1   1
8    2   0   0   4   0   0
9    0   0   0   3   1   2
10   0   1   0   1   0   3
11   0   0   0   1   0   5
12   1   0   1   1   0   5
13   0   2   2   1   0   3
14   0   0   2   0   2   3
15   1   2   1   0   0   0

 [*,3,2,*] (tr)
:    3   7  10  11  12  15    :=
1    1   0   0   2   1   0
2    2   0   1   2   0   1
3    0   0   1   2   3   0
4    2   1   0   2   3   0
5    1   0   2   1   2   0
6    1   0   1   1   1   4
7    3   0   0   1   0   5
8    0   1   2   2   3   0
9    3   0   1   1   0   4
10   3   0   2   1   0   0
11   1   0   0   3   0   6
12   5   0   0   3   0   0
13   0   4   0   3   0   0
14   4   0   1   3   0   0
15   1   3   0   1   0   0

 [*,3,3,*] (tr)
:    3   7  10  11  12  15    :=
1    0   0   0   4   0   0
2    0   0   0   4   0   0
3    0   2   0   5   0   0
4    1   0   1   5   0   0
5    1   1   0   4   1   0
6    1   0   0   4   0   0
7    0   0   0   3   3   0
8    2   2   0   3   0   0
9    1   2   0   3   0   0
10   0   0   0   3   1   5
11   0   0   0   0   6   0
12   2   0   0   0   0   4
13   1   0   0   0   3   7
14   0   0   0   0   1   7
15   1   0   0   0   1   2

 [*,3,4,*] (tr)
:    3   7  10  11  12  15    :=
1    0   0   0   4   1   0
2    0   0   0   4   1   0
3    1   0   0   4   1   0
4    3   0   0   5   1   0
5    3   0   0   1   2   1
6    3   2   1   1   2   0
7    2   1   0   1   4   0
8    2   0   1   2   0   5
9    2   4   0   2   0   5
10   0   0   1   2   0   5
11   1   0   1   2   0   4
12   2   2   0   2   0   2
13   2   0   0   2   4   4
14   0   0   0   2   4   2
15   1   0   1   2   0   0

 [*,3,5,*] (tr)
:    3   7  10  11  12  15    :=
1    1   1   0   3   0   0
2    0   1   0   3   3   0
3    0   1   0   5   3   0
4    0   0   0   6   3   0
5    0   0   0   4   3   1
6    1   0   0   4   1   2
7    0   0   1   4   0   1
8    1   0   0   5   0   0
9    1   0   0   2   0   3
10   0   0   1   4   1   0
11   0   0   0   4   0   7
12   1   1   0   4   1   1
13   0   2   0   4   0   7
14   0   1   0   1   1   5
15   1   2   0   1   0   1

 [*,3,6,*] (tr)
:    3   7  10  11  12  15    :=
1    5   0   0   4   0   0
2    5   0   0   4   0   0
3    0   2   0   4   0   0
4    0   3   0   4   0   1
5    1   2   0   2   1   2
6    2   1   0   2   1   2
7    3   5   0   2   0   1
8    1   1   0   2   2   3
9    4   3   1   0   0   0
10   1   0   3   3   0   3
11   0   3   1   6   0   0
12   0   1   0   6   4   0
13   0   2   0   6   0   0
14   1   0   0   6   0   1
15   0   0   1   3   0   0

 [*,3,7,*] (tr)
:    3   7  10  11  12  15    :=
1    0   0   1   1   0   0
2    1   0   1   2   0   0
3    1   0   1   2   0   0
4    0   0   1   4   0   1
5    1   2   1   3   0   1
6    0   2   0   2   3   4
7    1   1   0   4   3   1
8    0   0   0   3   3   2
9    0   2   0   5   4   0
10   0   6   0   4   0   4
11   0   8   0   2   0   1
12   0   6   0   2   4   0
13   6   0   0   2   0   0
14   2   3   0   2   1   0
15   2   1   0   0   0   0

 [*,4,1,*] (tr)
:    4   8  12  15  16    :=
1    0   1   0   0   1
2    0   0   2   0   2
3    0   1   2   0   2
4    0   1   2   1   2
5    0   0   2   2   2
6    0   2   1   1   2
7    2   0   0   2   2
8    1   0   0   3   2
9    0   0   0   3   3
10   0   0   2   2   2
11   0   0   2   1   3
12   1   2   2   0   3
13   3   0   2   0   3
14   2   2   0   0   3
15   1   1   1   1   0

 [*,4,2,*] (tr)
:    4   8  12  14  15  16    :=
1    1   0   1   0   0   2
2    0   0   2   0   0   3
3    2   1   0   0   1   4
4    1   0   0   0   2   4
5    1   1   1   0   4   3
6    0   1   2   1   0   3
7    0   0   3   0   0   3
8    0   0   0   0   4   3
9    0   2   1   1   0   3
10   0   0   1   3   4   2
11   3   3   0   3   0   2
12   0   3   0   3   7   2
13   3   0   0   0   4   2
14   0   1   0   1   4   2
15   1   1   0   0   2   0

 [*,4,3,*] (tr)
:    4   8  12  14  15  16    :=
1    0   0   0   0   0   5
2    0   1   0   0   0   5
3    0   0   0   0   0   5
4    1   0   1   0   0   5
5    2   2   0   0   0   4
6    1   0   1   1   0   4
7    4   1   0   0   3   2
8    1   0   3   0   3   2
9    0   0   6   0   3   0
10   2   0   6   0   0   0
11   0   0   1   0   5   0
12   0   1   6   0   3   0
13   0   0   3   0   0   0
14   0   0   5   0   0   0
15   1   0   0   1   2   0

 [*,4,4,*] (tr)
:    4   8  12  14  15  16    :=
1    1   1   0   0   0   2
2    1   2   0   0   0   3
3    0   3   0   0   0   3
4    1   3   0   1   0   3
5    1   0   1   1   0   3
6    1   0   1   0   2   3
7    0   0   1   0   2   3
8    2   0   5   0   0   2
9    0   0   6   0   0   1
10   0   0   6   0   0   1
11   2   0   4   0   0   1
12   1   0   4   0   2   2
13   7   0   0   0   0   1
14   7   1   0   0   0   1
15   1   0   0   0   2   1

 [*,4,5,*] (tr)
:    4   8  12  14  15  16    :=
1    0   0   3   0   0   2
2    1   0   0   0   0   3
3    1   0   0   0   0   4
4    0   0   0   1   1   4
5    0   0   0   2   0   4
6    0   0   2   2   0   4
7    1   0   0   2   1   1
8    2   0   0   0   3   0
9    0   2   1   3   0   0
10   2   1   0   2   4   0
11   2   4   1   1   0   0
12   2   0   0   1   6   1
13   1   4   1   1   0   1
14   2   4   0   1   0   1
15   2   0   0   0   1   1

 [*,4,6,*] (tr)
:    4   8  12  14  15  16    :=
1    0   1   0   0   0   3
2    0   0   0   2   0   3
3    0   0   1   0   1   4
4    0   1   1   2   0   4
5    0   1   0   0   0   6
6    1   0   0   2   0   6
7    0   0   3   0   1   5
8    4   0   1   2   0   5
9    0   0   4   2   3   1
10   0   0   7   1   0   2
11   1   0   6   1   2   1
12   3   1   2   1   2   1
13   0   0   6   0   1   1
14   0   1   6   1   0   0
15   0   0   3   0   1   0

 [*,4,7,*] (tr)
:    4   8  12  14  15  16    :=
1    0   0   0   0   2   2
2    0   0   0   0   2   3
3    1   0   0   0   2   3
4    1   0   0   0   2   3
5    4   0   0   0   3   3
6    1   0   1   1   0   3
7    5   1   1   1   1   1
8    2   2   1   1   2   0
9    0   0   3   3   4   0
10   0   3   7   4   0   0
11   0   1   7   1   3   0
12   0   2   2   3   1   2
13   0   0   6   0   0   2
14   0   1   2   1   0   2
15   0   0   0   0   0   2
;

SEC [1,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
1    0   1   0   0   0   0   0   1   1   1   0   0   0
2    0   0   1   0   0   0   1   0   0   0   0   0   0
4    0   0   0   0   0   1   0   0   0   0   0   0   0
7    0   0   0   1   0   0   0   0   0   0   0   0   1
9    0   0   0   0   0   0   0   0   0   0   1   0   0
14   0   0   0   0   1   0   0   0   0   0   0   0   0
17   0   0   0   0   0   0   0   0   0   0   0   1   0
21   1   0   0   0   0   0   0   0   0   0   0   0   0

 [2,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
22   0   0   0   0   0   1   0   1   0   1   1   0   0
23   0   1   0   0   0   0   1   0   0   0   0   0   0
24   0   0   1   1   0   0   0   0   0   0   0   0   0
27   0   0   0   0   1   0   0   0   0   0   0   1   0
28   1   0   0   0   0   0   0   0   1   0   0   0   1

 [3,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
1    0   1   0   0   0   0   0   0   0   1   0   0   0
2    1   0   0   0   1   0   0   0   0   0   1   0   1
5    0   0   0   0   0   0   0   0   0   0   0   1   0
8    0   0   0   0   0   0   0   0   1   0   0   0   0
9    0   0   0   0   0   1   0   0   0   0   0   0   0
11   0   0   0   1   0   0   0   0   0   0   0   0   0
12   0   0   1   0   0   0   1   0   0   0   0   0   0
15   0   0   0   0   0   0   0   1   0   0   0   0   0

 [4,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
22   0   0   1   1   1   0   1   0   1   0   1   1   0
25   0   0   0   0   0   0   0   1   0   0   0   0   1
26   0   1   0   0   0   1   0   0   0   0   0   0   0
27   1   0   0   0   0   0   0   0   0   1   0   0   0

 [5,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
3    0   0   0   0   0   1   0   0   0   0   1   0   0
4    0   0   0   0   0   0   0   0   0   1   0   0   0
5    1   0   0   0   0   0   0   0   0   0   0   0   0
12   0   0   0   0   1   0   0   0   0   0   0   0   0
13   0   1   0   0   0   0   0   0   0   0   0   1   0
15   0   0   0   0   0   0   0   0   1   0   0   0   0
20   0   0   1   1   0   0   0   1   0   0   0   0   1
21   0   0   0   0   0   0   1   0   0   0   0   0   0

 [6,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
22   1   1   1   1   1   1   1   1   1   1   1   1   1

 [7,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
1    1   0   0   1   1   0   1   0   1   1   0   1   0
2    0   1   1   0   0   0   0   0   0   0   0   0   0
5    0   0   0   0   0   0   0   0   0   0   0   0   1
8    0   0   0   0   0   0   0   1   0   0   0   0   0
16   0   0   0   0   0   1   0   0   0   0   1   0   0

 [8,*,*] (tr)
:    1   2   3   4   6   7   8  10  11  12  14  15  16    :=
22   1   1   1   1   0   1   1   1   1   1   1   1   0
23   0   0   0   0   1   0   0   0   0   0   0   0   0
24   0   0   0   0   0   0   0   0   0   0   0   0   1
;

R [1,1,1,*,*]
:   21    :=
36   1

 [1,1,2,*,*]
:   21    :=
35   1

 [1,1,3,*,*]
:   21    :=
36   1

 [1,1,4,*,*]
:   21    :=
36   1

 [1,1,5,*,*]
:   21    :=
5    1

 [1,1,6,*,*]
 [1,1,7,*,*]
 [1,2,1,*,*]
 [1,2,2,*,*]
 [1,2,3,*,*]
 [1,2,4,*,*]
 [1,2,5,*,*]
 [1,2,6,*,*]
 [1,2,7,*,*]
 [1,3,1,*,*]
 [1,3,2,*,*]
:    2    :=
5    2
25   2

 [1,3,3,*,*]
 [1,3,4,*,*]
:    2    :=
1    1
13   1
35   2

 [1,3,5,*,*]
:    2    :=
1    1
21   1
25   1
36   1

 [1,3,6,*,*]
:    2    :=
1    3
31   1

 [1,3,7,*,*]
:    2    :=
25   1
36   3

 [1,4,1,*,*]
:    7    :=
17   2
25   1
36   1

 [1,4,2,*,*]
 [1,4,3,*,*]
 [1,4,4,*,*]
:    7    :=
1    1
35   3

 [1,4,5,*,*]
:    7    :=
1    1
17   2
36   1

 [1,4,6,*,*]
:    7    :=
25   1
33   3

 [1,4,7,*,*]
:    7    :=
1    2
17   1
21   1

 [1,6,1,*,*]
:   14    :=
13   2

 [1,6,2,*,*]
:   14    :=
9    1
36   1

 [1,6,3,*,*]
 [1,6,4,*,*]
:   14    :=
28   2

 [1,6,5,*,*]
:   14    :=
36   2

 [1,6,6,*,*]
 [1,6,7,*,*]
:   14    :=
13   2

 [1,7,1,*,*]
 [1,7,2,*,*]
:    4    :=
9    1

 [1,7,3,*,*]
:    4    :=
36   1

 [1,7,4,*,*]
:    4    :=
36   1

 [1,7,5,*,*]
 [1,7,6,*,*]
:    4    :=
1    1

 [1,7,7,*,*]
:    4    :=
31   1

 [1,8,1,*,*]
 [1,8,2,*,*]
:    2    :=
35   1

 [1,8,3,*,*]
 [1,8,4,*,*]
:    2    :=
1    1

 [1,8,5,*,*]
:    2    :=
35   1

 [1,8,6,*,*]
:    2    :=
35   1

 [1,8,7,*,*]
:    2    :=
36   1

 [1,10,1,*,*]
 [1,10,2,*,*]
 [1,10,3,*,*]
 [1,10,4,*,*]
 [1,10,5,*,*]
 [1,10,6,*,*]
 [1,10,7,*,*]
 [1,11,1,*,*]
 [1,11,2,*,*]
 [1,11,3,*,*]
:    1    :=
9    1
25   1

 [1,11,4,*,*]
:    1    :=
1    2

 [1,11,5,*,*]
:    1    :=
1    2

 [1,11,6,*,*]
:    1    :=
1    2

 [1,11,7,*,*]
:    1    :=
1    1
5    1

 [1,12,1,*,*]
 [1,12,2,*,*]
 [1,12,3,*,*]
 [1,12,4,*,*]
 [1,12,5,*,*]
 [1,12,6,*,*]
 [1,12,7,*,*]
 [1,14,1,*,*]
:    9    :=
36   1

 [1,14,2,*,*]
 [1,14,3,*,*]
:    9    :=
36   1

 [1,14,4,*,*]
:    9    :=
25   1

 [1,14,5,*,*]
 [1,14,6,*,*]
:    9    :=
25   1

 [1,14,7,*,*]
:    9    :=
28   1

 [1,15,1,*,*]
:   17    :=
13   1
31   2
35   1

 [1,15,2,*,*]
:   17    :=
13   1
35   2
36   1

 [1,15,3,*,*]
:   17    :=
25   1
35   1
36   2

 [1,15,4,*,*]
 [1,15,5,*,*]
:   17    :=
13   1
35   3

 [1,15,6,*,*]
 [1,15,7,*,*]
:   17    :=
13   1
28   3

 [1,16,1,*,*]
:    7    :=
35   1

 [1,16,2,*,*]
 [1,16,3,*,*]
 [1,16,4,*,*]
:    7    :=
31   1

 [1,16,5,*,*]
:    7    :=
9    1

 [1,16,6,*,*]
:    7    :=
33   1

 [1,16,7,*,*]
:    7    :=
36   1

 [2,1,1,*,*]
 [2,1,2,*,*]
:   28    :=
36   3

 [2,1,3,*,*]
:   28    :=
28   1
36   2

 [2,1,4,*,*]
:   28    :=
1    2
33   1

 [2,1,5,*,*]
:   28    :=
5    1
36   2

 [2,1,6,*,*]
:   28    :=
35   1
36   2

 [2,1,7,*,*]
:   28    :=
17   3

 [2,2,1,*,*]
:   23    :=
25   1

 [2,2,2,*,*]
:   23    :=
28   1

 [2,2,3,*,*]
:   23    :=
9    1

 [2,2,4,*,*]
:   23    :=
25   1

 [2,2,5,*,*]
:   23    :=
31   1

 [2,2,6,*,*]
 [2,2,7,*,*]
:   23    :=
35   1

 [2,3,1,*,*]
:   24    :=
35   3
36   1

 [2,3,2,*,*]
:   24    :=
1    1
35   3

 [2,3,3,*,*]
:   24    :=
1    2
36   2

 [2,3,4,*,*]
:   24    :=
36   4

 [2,3,5,*,*]
 [2,3,6,*,*]
:   24    :=
21   3
36   1

 [2,3,7,*,*]
:   24    :=
31   1
33   3

 [2,4,1,*,*]
:   24    :=
5    1
13   1
36   1

 [2,4,2,*,*]
:   24    :=
9    1
35   2

 [2,4,3,*,*]
:   24    :=
13   1
28   1
36   1

 [2,4,4,*,*]
:   24    :=
17   1
35   2

 [2,4,5,*,*]
 [2,4,6,*,*]
:   24    :=
28   1
35   1
36   1

 [2,4,7,*,*]
:   24    :=
13   2
17   1

 [2,6,1,*,*]
:   27    :=
35   2

 [2,6,2,*,*]
 [2,6,3,*,*]
:   27    :=
28   1
36   1

 [2,6,4,*,*]
:   27    :=
21   1
36   1

 [2,6,5,*,*]
:   27    :=
17   1
35   1

 [2,6,6,*,*]
:   27    :=
35   1
36   1

 [2,6,7,*,*]
:   27    :=
5    2

 [2,7,1,*,*]
 [2,7,2,*,*]
 [2,7,3,*,*]
 [2,7,4,*,*]
 [2,7,5,*,*]
 [2,7,6,*,*]
 [2,7,7,*,*]
 [2,8,1,*,*]
:   23    :=
36   2

 [2,8,2,*,*]
:   23    :=
5    1
36   1

 [2,8,3,*,*]
:   23    :=
9    1
35   1

 [2,8,4,*,*]
:   23    :=
5    2

 [2,8,5,*,*]
:   23    :=
35   2

 [2,8,6,*,*]
 [2,8,7,*,*]
:   23    :=
25   2

 [2,10,1,*,*]
 [2,10,2,*,*]
 [2,10,3,*,*]
 [2,10,4,*,*]
 [2,10,5,*,*]
 [2,10,6,*,*]
 [2,10,7,*,*]
 [2,11,1,*,*]
 [2,11,2,*,*]
:   28    :=
1    1
35   2

 [2,11,3,*,*]
:   28    :=
1    3

 [2,11,4,*,*]
:   28    :=
1    2
13   1

 [2,11,5,*,*]
:   28    :=
33   3

 [2,11,6,*,*]
:   28    :=
35   3

 [2,11,7,*,*]
:   28    :=
13   1
25   2

 [2,12,1,*,*]
 [2,12,2,*,*]
 [2,12,3,*,*]
 [2,12,4,*,*]
 [2,12,5,*,*]
 [2,12,6,*,*]
 [2,12,7,*,*]
 [2,14,1,*,*]
 [2,14,2,*,*]
 [2,14,3,*,*]
 [2,14,4,*,*]
 [2,14,5,*,*]
 [2,14,6,*,*]
 [2,14,7,*,*]
 [2,15,1,*,*]
 [2,15,2,*,*]
 [2,15,3,*,*]
 [2,15,4,*,*]
 [2,15,5,*,*]
 [2,15,6,*,*]
 [2,15,7,*,*]
 [2,16,1,*,*]
 [2,16,2,*,*]
:   28    :=
1    1

 [2,16,3,*,*]
:   28    :=
1    1

 [2,16,4,*,*]
:   28    :=
36   1

 [2,16,5,*,*]
:   28    :=
36   1

 [2,16,6,*,*]
:   28    :=
17   1

 [2,16,7,*,*]
:   28    :=
36   1

 [3,1,1,*,*]
 [3,1,2,*,*]
:    2    :=
6    2

 [3,1,3,*,*]
 [3,1,4,*,*]
:    2    :=
2    1
6    1

 [3,1,5,*,*]
:    2    :=
34   2

 [3,1,6,*,*]
:    2    :=
18   1
29   1

 [3,1,7,*,*]
:    2    :=
6    2

 [3,2,1,*,*]
 [3,2,2,*,*]
 [3,2,3,*,*]
:    1    :=
18   3
32   1

 [3,2,4,*,*]
:    1    :=
14   1
26   1
34   2

 [3,2,5,*,*]
:    1    :=
2    1
22   3

 [3,2,6,*,*]
:    1    :=
6    1
14   1
34   2

 [3,2,7,*,*]
:    1    :=
32   4

 [3,3,1,*,*]
:   12    :=
2    1

 [3,3,2,*,*]
:   12    :=
22   1

 [3,3,3,*,*]
 [3,3,4,*,*]
 [3,3,5,*,*]
:   12    :=
22   1

 [3,3,6,*,*]
:   12    :=
2    1

 [3,3,7,*,*]
:   12    :=
6    1

 [3,4,1,*,*]
:   11    :=
2    1

 [3,4,2,*,*]
 [3,4,3,*,*]
:   11    :=
18   1

 [3,4,4,*,*]
:   11    :=
32   1

 [3,4,5,*,*]
:   11    :=
22   1

 [3,4,6,*,*]
:   11    :=
32   1

 [3,4,7,*,*]
 [3,6,1,*,*]
 [3,6,2,*,*]
:    2    :=
2    2

 [3,6,3,*,*]
 [3,6,4,*,*]
:    2    :=
2    2

 [3,6,5,*,*]
:    2    :=
2    1
34   1

 [3,6,6,*,*]
:    2    :=
26   1
34   1

 [3,6,7,*,*]
:    2    :=
2    2

 [3,7,1,*,*]
:    9    :=
2    1
34   2

 [3,7,2,*,*]
 [3,7,3,*,*]
:    9    :=
18   1
34   2

 [3,7,4,*,*]
:    9    :=
22   1
32   2

 [3,7,5,*,*]
 [3,7,6,*,*]
:    9    :=
14   2
22   1

 [3,7,7,*,*]
:    9    :=
26   1
32   2

 [3,8,1,*,*]
:   12    :=
2    1

 [3,8,2,*,*]
:   12    :=
29   1

 [3,8,3,*,*]
 [3,8,4,*,*]
 [3,8,5,*,*]
:   12    :=
14   1

 [3,8,6,*,*]
:   12    :=
2    1

 [3,8,7,*,*]
:   12    :=
32   1

 [3,10,1,*,*]
:   15    :=
34   1

 [3,10,2,*,*]
:   15    :=
34   1

 [3,10,3,*,*]
 [3,10,4,*,*]
:   15    :=
6    1

 [3,10,5,*,*]
:   15    :=
32   1

 [3,10,6,*,*]
:   15    :=
34   1

 [3,10,7,*,*]
 [3,11,1,*,*]
:    8    :=
2    1
14   1
29   1

 [3,11,2,*,*]
 [3,11,3,*,*]
:    8    :=
2    1
18   2

 [3,11,4,*,*]
 [3,11,5,*,*]
:    8    :=
10   2
14   1

 [3,11,6,*,*]
:    8    :=
34   3

 [3,11,7,*,*]
:    8    :=
14   1
32   2

 [3,12,1,*,*]
 [3,12,2,*,*]
 [3,12,3,*,*]
 [3,12,4,*,*]
 [3,12,5,*,*]
 [3,12,6,*,*]
 [3,12,7,*,*]
 [3,14,1,*,*]
 [3,14,2,*,*]
:    2    :=
29   1
32   1

 [3,14,3,*,*]
 [3,14,4,*,*]
:    2    :=
10   2

 [3,14,5,*,*]
:    2    :=
18   1
32   1

 [3,14,6,*,*]
:    2    :=
2    2

 [3,14,7,*,*]
:    2    :=
26   1
34   1

 [3,15,1,*,*]
 [3,15,2,*,*]
:    5    :=
6    1
26   1

 [3,15,3,*,*]
:    5    :=
34   2

 [3,15,4,*,*]
:    5    :=
18   1
29   1

 [3,15,5,*,*]
:    5    :=
29   1
34   1

 [3,15,6,*,*]
 [3,15,7,*,*]
:    5    :=
2    2

 [3,16,1,*,*]
 [3,16,2,*,*]
:    2    :=
2    1

 [3,16,3,*,*]
 [3,16,4,*,*]
:    2    :=
6    1

 [3,16,5,*,*]
:    2    :=
6    1

 [3,16,6,*,*]
:    2    :=
2    1

 [3,16,7,*,*]
:    2    :=
6    1

 [4,1,1,*,*]
:   27    :=
2    1

 [4,1,2,*,*]
 [4,1,3,*,*]
:   27    :=
22   1

 [4,1,4,*,*]
:   27    :=
14   1

 [4,1,5,*,*]
:   27    :=
32   1

 [4,1,6,*,*]
:   27    :=
2    1

 [4,1,7,*,*]
:   27    :=
32   1

 [4,2,1,*,*]
:   26    :=
34   2

 [4,2,2,*,*]
:   26    :=
10   1
22   1

 [4,2,3,*,*]
 [4,2,4,*,*]
:   26    :=
18   1
34   1

 [4,2,5,*,*]
:   26    :=
32   2

 [4,2,6,*,*]
:   26    :=
2    1
6    1

 [4,2,7,*,*]
:   26    :=
26   1
32   1

 [4,3,1,*,*]
 [4,3,2,*,*]
 [4,3,3,*,*]
 [4,3,4,*,*]
 [4,3,5,*,*]
 [4,3,6,*,*]
 [4,3,7,*,*]
 [4,4,1,*,*]
:   22    :=
18   1

 [4,4,2,*,*]
:   22    :=
34   1

 [4,4,3,*,*]
:   22    :=
10   1

 [4,4,4,*,*]
:   22    :=
32   1

 [4,4,5,*,*]
:   22    :=
34   1

 [4,4,6,*,*]
:   22    :=
22   1

 [4,4,7,*,*]
 [4,6,1,*,*]
 [4,6,2,*,*]
 [4,6,3,*,*]
 [4,6,4,*,*]
 [4,6,5,*,*]
 [4,6,6,*,*]
 [4,6,7,*,*]
 [4,7,1,*,*]
:   26    :=
32   1

 [4,7,2,*,*]
:   26    :=
34   1

 [4,7,3,*,*]
 [4,7,4,*,*]
:   26    :=
18   1

 [4,7,5,*,*]
:   26    :=
2    1

 [4,7,6,*,*]
:   26    :=
2    1

 [4,7,7,*,*]
:   26    :=
32   1

 [4,8,1,*,*]
 [4,8,2,*,*]
 [4,8,3,*,*]
 [4,8,4,*,*]
 [4,8,5,*,*]
 [4,8,6,*,*]
 [4,8,7,*,*]
 [4,10,1,*,*]
:   25    :=
18   1

 [4,10,2,*,*]
:   25    :=
18   1

 [4,10,3,*,*]
:   25    :=
32   1

 [4,10,4,*,*]
 [4,10,5,*,*]
:   25    :=
6    1

 [4,10,6,*,*]
:   25    :=
34   1

 [4,10,7,*,*]
:   25    :=
2    1

 [4,11,1,*,*]
 [4,11,2,*,*]
 [4,11,3,*,*]
 [4,11,4,*,*]
 [4,11,5,*,*]
 [4,11,6,*,*]
 [4,11,7,*,*]
 [4,12,1,*,*]
:   27    :=
2    1
6    1
32   1
34   1

 [4,12,2,*,*]
 [4,12,3,*,*]
:   27    :=
32   3
34   1

 [4,12,4,*,*]
:   27    :=
2    1
18   2
32   1

 [4,12,5,*,*]
:   27    :=
2    3
32   1

 [4,12,6,*,*]
:   27    :=
32   1
34   3

 [4,12,7,*,*]
:   27    :=
22   1
32   3

 [4,14,1,*,*]
 [4,14,2,*,*]
 [4,14,3,*,*]
 [4,14,4,*,*]
 [4,14,5,*,*]
 [4,14,6,*,*]
 [4,14,7,*,*]
 [4,15,1,*,*]
 [4,15,2,*,*]
 [4,15,3,*,*]
 [4,15,4,*,*]
 [4,15,5,*,*]
 [4,15,6,*,*]
 [4,15,7,*,*]
 [4,16,1,*,*]
:   25    :=
32   2

 [4,16,2,*,*]
:   25    :=
10   1
32   1

 [4,16,3,*,*]
:   25    :=
2    2

 [4,16,4,*,*]
 [4,16,5,*,*]
:   25    :=
2    2

 [4,16,6,*,*]
:   25    :=
10   1
18   1

 [4,16,7,*,*]
:   25    :=
2    2

 [5,1,1,*,*]
 [5,1,2,*,*]
:    5    :=
15   1

 [5,1,3,*,*]
:    5    :=
27   1

 [5,1,4,*,*]
:    5    :=
23   1

 [5,1,5,*,*]
:    5    :=
3    1

 [5,1,6,*,*]
 [5,1,7,*,*]
:    5    :=
19   1

 [5,2,1,*,*]
:   13    :=
7    1

 [5,2,2,*,*]
:   13    :=
30   1

 [5,2,3,*,*]
 [5,2,4,*,*]
:   13    :=
11   1

 [5,2,5,*,*]
 [5,2,6,*,*]
:   13    :=
11   1

 [5,2,7,*,*]
:   13    :=
19   1

 [5,3,1,*,*]
:   20    :=
27   1
30   1

 [5,3,2,*,*]
:   20    :=
30   2

 [5,3,3,*,*]
:   20    :=
3    1
11   1

 [5,3,4,*,*]
:   20    :=
7    1
15   1

 [5,3,5,*,*]
 [5,3,6,*,*]
:   20    :=
3    2

 [5,3,7,*,*]
 [5,4,1,*,*]
:   20    :=
27   1

 [5,4,2,*,*]
:   20    :=
3    1

 [5,4,3,*,*]
:   20    :=
15   1

 [5,4,4,*,*]
:   20    :=
30   1

 [5,4,5,*,*]
 [5,4,6,*,*]
:   20    :=
27   1

 [5,4,7,*,*]
 [5,6,1,*,*]
:   12    :=
7    1
27   1

 [5,6,2,*,*]
:   12    :=
3    1
30   1

 [5,6,3,*,*]
 [5,6,4,*,*]
 [5,6,5,*,*]
:   12    :=
7    2

 [5,6,6,*,*]
:   12    :=
19   2

 [5,6,7,*,*]
:   12    :=
19   2

 [5,7,1,*,*]
 [5,7,2,*,*]
:    3    :=
27   1
30   2

 [5,7,3,*,*]
:    3    :=
3    2
7    1

 [5,7,4,*,*]
 [5,7,5,*,*]
:    3    :=
30   3

 [5,7,6,*,*]
:    3    :=
7    1
27   2

 [5,7,7,*,*]
:    3    :=
19   2
30   1

 [5,8,1,*,*]
:   21    :=
3    1

 [5,8,2,*,*]
:   21    :=
19   1

 [5,8,3,*,*]
:   21    :=
3    1

 [5,8,4,*,*]
:   21    :=
27   1

 [5,8,5,*,*]
:   21    :=
27   1

 [5,8,6,*,*]
 [5,8,7,*,*]
 [5,10,1,*,*]
:   20    :=
30   1

 [5,10,2,*,*]
:   20    :=
3    1

 [5,10,3,*,*]
:   20    :=
15   1

 [5,10,4,*,*]
:   20    :=
30   1

 [5,10,5,*,*]
 [5,10,6,*,*]
:   20    :=
11   1

 [5,10,7,*,*]
 [5,11,1,*,*]
:   15    :=
3    1
7    1

 [5,11,2,*,*]
:   15    :=
3    1
30   1

 [5,11,3,*,*]
 [5,11,4,*,*]
:   15    :=
30   2

 [5,11,5,*,*]
:   15    :=
3    1
30   1

 [5,11,6,*,*]
:   15    :=
3    2

 [5,11,7,*,*]
 [5,12,1,*,*]
 [5,12,2,*,*]
:    4    :=
3    2
11   1

 [5,12,3,*,*]
:    4    :=
15   1
27   2

 [5,12,4,*,*]
:    4    :=
27   3

 [5,12,5,*,*]
 [5,12,6,*,*]
:    4    :=
11   1
27   2

 [5,12,7,*,*]
:    4    :=
23   3

 [5,14,1,*,*]
 [5,14,2,*,*]
:    3    :=
23   1

 [5,14,3,*,*]
:    3    :=
3    1

 [5,14,4,*,*]
 [5,14,5,*,*]
:    3    :=
7    1

 [5,14,6,*,*]
:    3    :=
27   1

 [5,14,7,*,*]
:    3    :=
19   1

 [5,15,1,*,*]
:   13    :=
27   1

 [5,15,2,*,*]
:   13    :=
30   1

 [5,15,3,*,*]
 [5,15,4,*,*]
:   13    :=
23   1

 [5,15,5,*,*]
 [5,15,6,*,*]
:   13    :=
30   1

 [5,15,7,*,*]
:   13    :=
19   1

 [5,16,1,*,*]
:   20    :=
3    1
7    1

 [5,16,2,*,*]
:   20    :=
7    1
27   1

 [5,16,3,*,*]
:   20    :=
3    2

 [5,16,4,*,*]
:   20    :=
3    2

 [5,16,5,*,*]
 [5,16,6,*,*]
:   20    :=
3    2

 [5,16,7,*,*]
 [6,1,1,*,*]
 [6,1,2,*,*]
 [6,1,3,*,*]
 [6,1,4,*,*]
 [6,1,5,*,*]
 [6,1,6,*,*]
 [6,1,7,*,*]
 [6,2,1,*,*]
 [6,2,2,*,*]
 [6,2,3,*,*]
 [6,2,4,*,*]
 [6,2,5,*,*]
 [6,2,6,*,*]
 [6,2,7,*,*]
 [6,3,1,*,*]
 [6,3,2,*,*]
 [6,3,3,*,*]
 [6,3,4,*,*]
 [6,3,5,*,*]
 [6,3,6,*,*]
 [6,3,7,*,*]
 [6,4,1,*,*]
 [6,4,2,*,*]
 [6,4,3,*,*]
 [6,4,4,*,*]
 [6,4,5,*,*]
 [6,4,6,*,*]
 [6,4,7,*,*]
 [6,6,1,*,*]
 [6,6,2,*,*]
 [6,6,3,*,*]
 [6,6,4,*,*]
 [6,6,5,*,*]
 [6,6,6,*,*]
 [6,6,7,*,*]
 [6,7,1,*,*]
 [6,7,2,*,*]
 [6,7,3,*,*]
 [6,7,4,*,*]
 [6,7,5,*,*]
 [6,7,6,*,*]
 [6,7,7,*,*]
 [6,8,1,*,*]
 [6,8,2,*,*]
 [6,8,3,*,*]
 [6,8,4,*,*]
 [6,8,5,*,*]
 [6,8,6,*,*]
 [6,8,7,*,*]
 [6,10,1,*,*]
 [6,10,2,*,*]
 [6,10,3,*,*]
 [6,10,4,*,*]
 [6,10,5,*,*]
 [6,10,6,*,*]
 [6,10,7,*,*]
 [6,11,1,*,*]
 [6,11,2,*,*]
 [6,11,3,*,*]
 [6,11,4,*,*]
 [6,11,5,*,*]
 [6,11,6,*,*]
 [6,11,7,*,*]
 [6,12,1,*,*]
 [6,12,2,*,*]
 [6,12,3,*,*]
 [6,12,4,*,*]
 [6,12,5,*,*]
 [6,12,6,*,*]
 [6,12,7,*,*]
 [6,14,1,*,*]
 [6,14,2,*,*]
 [6,14,3,*,*]
 [6,14,4,*,*]
 [6,14,5,*,*]
 [6,14,6,*,*]
 [6,14,7,*,*]
 [6,15,1,*,*]
:   22    :=
15   1
30   1

 [6,15,2,*,*]
:   22    :=
19   2

 [6,15,3,*,*]
:   22    :=
27   2

 [6,15,4,*,*]
:   22    :=
30   2

 [6,15,5,*,*]
:   22    :=
23   1
30   1

 [6,15,6,*,*]
:   22    :=
11   1
19   1

 [6,15,7,*,*]
 [6,16,1,*,*]
 [6,16,2,*,*]
 [6,16,3,*,*]
 [6,16,4,*,*]
 [6,16,5,*,*]
 [6,16,6,*,*]
 [6,16,7,*,*]
 [7,1,1,*,*]
 [7,1,2,*,*]
 [7,1,3,*,*]
 [7,1,4,*,*]
 [7,1,5,*,*]
 [7,1,6,*,*]
 [7,1,7,*,*]
 [7,2,1,*,*]
 [7,2,2,*,*]
 [7,2,3,*,*]
 [7,2,4,*,*]
 [7,2,5,*,*]
 [7,2,6,*,*]
 [7,2,7,*,*]
 [7,3,1,*,*]
 [7,3,2,*,*]
 [7,3,3,*,*]
 [7,3,4,*,*]
 [7,3,5,*,*]
 [7,3,6,*,*]
 [7,3,7,*,*]
 [7,4,1,*,*]
 [7,4,2,*,*]
 [7,4,3,*,*]
 [7,4,4,*,*]
 [7,4,5,*,*]
 [7,4,6,*,*]
 [7,4,7,*,*]
 [7,6,1,*,*]
 [7,6,2,*,*]
 [7,6,3,*,*]
 [7,6,4,*,*]
 [7,6,5,*,*]
 [7,6,6,*,*]
 [7,6,7,*,*]
 [7,7,1,*,*]
 [7,7,2,*,*]
 [7,7,3,*,*]
 [7,7,4,*,*]
 [7,7,5,*,*]
 [7,7,6,*,*]
 [7,7,7,*,*]
 [7,8,1,*,*]
 [7,8,2,*,*]
 [7,8,3,*,*]
 [7,8,4,*,*]
 [7,8,5,*,*]
 [7,8,6,*,*]
 [7,8,7,*,*]
 [7,10,1,*,*]
 [7,10,2,*,*]
 [7,10,3,*,*]
 [7,10,4,*,*]
 [7,10,5,*,*]
 [7,10,6,*,*]
 [7,10,7,*,*]
 [7,11,1,*,*]
 [7,11,2,*,*]
 [7,11,3,*,*]
 [7,11,4,*,*]
 [7,11,5,*,*]
 [7,11,6,*,*]
 [7,11,7,*,*]
 [7,12,1,*,*]
 [7,12,2,*,*]
 [7,12,3,*,*]
 [7,12,4,*,*]
 [7,12,5,*,*]
 [7,12,6,*,*]
 [7,12,7,*,*]
 [7,14,1,*,*]
 [7,14,2,*,*]
 [7,14,3,*,*]
 [7,14,4,*,*]
 [7,14,5,*,*]
 [7,14,6,*,*]
 [7,14,7,*,*]
 [7,15,1,*,*]
 [7,15,2,*,*]
 [7,15,3,*,*]
 [7,15,4,*,*]
 [7,15,5,*,*]
 [7,15,6,*,*]
 [7,15,7,*,*]
 [7,16,1,*,*]
 [7,16,2,*,*]
 [7,16,3,*,*]
 [7,16,4,*,*]
 [7,16,5,*,*]
 [7,16,6,*,*]
 [7,16,7,*,*]
 [8,1,1,*,*]
 [8,1,2,*,*]
 [8,1,3,*,*]
 [8,1,4,*,*]
 [8,1,5,*,*]
 [8,1,6,*,*]
 [8,1,7,*,*]
 [8,2,1,*,*]
 [8,2,2,*,*]
 [8,2,3,*,*]
 [8,2,4,*,*]
 [8,2,5,*,*]
 [8,2,6,*,*]
 [8,2,7,*,*]
 [8,3,1,*,*]
 [8,3,2,*,*]
 [8,3,3,*,*]
 [8,3,4,*,*]
 [8,3,5,*,*]
 [8,3,6,*,*]
 [8,3,7,*,*]
 [8,4,1,*,*]
 [8,4,2,*,*]
 [8,4,3,*,*]
 [8,4,4,*,*]
 [8,4,5,*,*]
 [8,4,6,*,*]
 [8,4,7,*,*]
 [8,6,1,*,*]
 [8,6,2,*,*]
 [8,6,3,*,*]
 [8,6,4,*,*]
 [8,6,5,*,*]
 [8,6,6,*,*]
 [8,6,7,*,*]
 [8,7,1,*,*]
 [8,7,2,*,*]
 [8,7,3,*,*]
 [8,7,4,*,*]
 [8,7,5,*,*]
 [8,7,6,*,*]
 [8,7,7,*,*]
 [8,8,1,*,*]
 [8,8,2,*,*]
 [8,8,3,*,*]
 [8,8,4,*,*]
 [8,8,5,*,*]
 [8,8,6,*,*]
 [8,8,7,*,*]
 [8,10,1,*,*]
 [8,10,2,*,*]
 [8,10,3,*,*]
 [8,10,4,*,*]
 [8,10,5,*,*]
 [8,10,6,*,*]
 [8,10,7,*,*]
 [8,11,1,*,*]
 [8,11,2,*,*]
 [8,11,3,*,*]
 [8,11,4,*,*]
 [8,11,5,*,*]
 [8,11,6,*,*]
 [8,11,7,*,*]
 [8,12,1,*,*]
 [8,12,2,*,*]
 [8,12,3,*,*]
 [8,12,4,*,*]
 [8,12,5,*,*]
 [8,12,6,*,*]
 [8,12,7,*,*]
 [8,14,1,*,*]
 [8,14,2,*,*]
 [8,14,3,*,*]
 [8,14,4,*,*]
 [8,14,5,*,*]
 [8,14,6,*,*]
 [8,14,7,*,*]
 [8,15,1,*,*]
 [8,15,2,*,*]
 [8,15,3,*,*]
 [8,15,4,*,*]
 [8,15,5,*,*]
 [8,15,6,*,*]
 [8,15,7,*,*]
 [8,16,1,*,*]
 [8,16,2,*,*]
 [8,16,3,*,*]
 [8,16,4,*,*]
 [8,16,5,*,*]
 [8,16,6,*,*]
 [8,16,7,*,*];

_solve_elapsed_time = 3600.45

_nvars = 743565
_ncons = 13342

